AN EXTENSION OF ACKERMANN'S SET THEORYPERLIS D.JOURNAL OF SYMBOLIC LOGIC. 1972, Vol 37, Num 4, pp 703-704Article

Truth and meaningPERLIS, D.Artificial intelligence. 1989, Vol 39, Num 2, pp 245-250, issn 0004-3702Article

AutocircumscriptionPERLIS, D.Artificial intelligence. 1988, Vol 36, Num 2, pp 223-236, issn 0004-3702Article

A RE-EVALUATION OF STORY GRAMMARSFRISCH AM; PERLIS D.1981; COGN. SCI.; ISSN 0364-0213; USA; DA. 1981; VOL. 5; NO 1; PP. 79-86; BIBL. 17 REF.Article

Languages with self-reference. II: Knowledge, belief, and modalityPERLIS, D; HAYES, P.Artificial intelligence. 1988, Vol 34, Num 2, pp 179-212, issn 0004-3702Article

Explicitly biased generalizationGORDON, D; PERLIS, D.Computational intelligence. 1989, Vol 5, Num 2, pp 67-81, issn 0824-7935Article

A theorem on the consistency of circumscriptionMOTT, P. L; LIFSCHITZ, V; PERLIS, D et al.Artificial intelligence. 1987, Vol 31, Num 1, pp 87-98, issn 0004-3702Article

Stop the world ― I want to thinkPERLIS, D; ELGOT-DRAPKIN, J. J; MILLER, M et al.International journal of intelligent systems. 1991, Vol 6, Num 4, pp 443-456, issn 0884-8173, 14 p.Article

Results on translating defaults to circumscriptionIMIELINSKI, T; PERLIS, D; LIFSCHITZ, V et al.Artificial intelligence. 1987, Vol 32, Num 1, pp 131-146, issn 0004-3702Article